Стягивание ребра

Операция **стягивания ребра** в графе определяется следующим образом: пусть $G = (V, E)$ — граф, $(u, v) \in E$ — ребро. Возьмем граф $G - u - v$, добавим в него вершину $w$ и множество ребер $\{(w, x) \mid (u, x) \in E \text{ или } (v, x) \in E\}$. Полученный граф обозначается $G/(u, v)$.